HyS: Fast Atomic Decomposition and Module Extraction of OWL-EL ontologies
نویسندگان
چکیده
In this paper, we present HyS, an application for fast atomic decomposition and module extraction of OWL-EL ontologies. HyS computes a hypergraph representation of the modular structure of an ontology. This hypergraph representation contains the atomic decomposition of the input ontology, and it allows to extract modules for a given signature. We provide an experimental evaluation of HyS with a selection of large and prominent biomedical ontologies, most of which are available in the NCBO Bioportal.
منابع مشابه
Incrementally Updateable and Persistent Decomposition of OWL Ontologies
The paper focuses on practical aspects of decomposing OWL ontologies into logically coherent fragments, called atoms, and maintaining large ontologies in the decomposed form. While the recently proposed atomic decomposition exhibits some very attractive formal properties and promises important applications, e.g., module extraction, its practical applicability has been far from clear. Two partic...
متن کاملImproved Algorithms for Module Extraction and Atomic Decomposition
In recent years modules have frequently been used for ontology development and understanding. This happens because a module captures all the knowledge an ontology contains in a given area, and often is much smaller than the whole ontology. One useful modularisation technique for expressive ontology languages is locality-based modularisation, which allows for fast (polynomial) extraction of modu...
متن کاملTowards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
Atomic decomposition of ontologies has been suggested as a tool to understand the modular structure of ontologies. It consists of a polynomial size representation of potentially exponentially many modules of an ontology. Tractable algorithms for computing the atomic decomposition for locality-based modules have been introduced, albeit leaving room for improvement in terms of running time. In th...
متن کاملAxiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies
In this paper we use directed hypergraphs to represent the locality-based dependencies between the axioms of an OWL ontology. We define a notion of an axiom dependency hypergraph, where axioms are represented as nodes and dependencies between axioms as hyperedges connecting possibly several nodes with one node. We show that a locality-based module of an ontology corresponds to a connected compo...
متن کاملDeMoSt: a Tool for Exploring the Decomposition and the Modular Structure of OWL Ontologies
Motivation In relevant application fields ontologies are often maintained as huge monolithic collections of axioms in single files, as for some ontologies in the NCBO BioPortal repository4, like the Gene Ontology (∼ 60, 000 axioms). Such representation is not ideal for applications which only require access limited to individual fragments of the ontology. As an example, the reasoning service pr...
متن کامل